CoSMed: A Confidentiality-Verified Social Media Platform
نویسندگان
چکیده
منابع مشابه
SecurePost: Verified Group-Anonymity on Social Media
As Internet freedoms are increasingly threatened both at home and abroad, marginalized groups, such as journalists, activists, and government watchdogs require new tools to retain free and open discourse on-line. In this paper, we introduce SecurePost a tool for verified group anonymity on social media. SecurePost gives social media posters anonymity while safeguarding group credibility through...
متن کاملA Conference Management System with Verified Document Confidentiality
We present a case study in verified security for realistic systems: the implementation of a conference management system, whose functional kernel is faithfully represented in the Isabelle theorem prover, where we specify and verify confidentiality properties. The various theoretical and practical challenges posed by this development led to a novel security model and verification method generall...
متن کاملEffects of a Virtual Classroom in social media platform on the Knowledge of Emergency Department Interns: A Randomized Interventional Trial
Background: Emergency medicine has always been a leader in taming new technologies for medical education. Many forms of social media have been reported in medical education with very little quality evidence to clarify their role. In this study we look at a popular multimedia messaging application in our setting and the aim was to evaluate the effects of a virtual classroom in social media platf...
متن کاملUsing a Social Media Platform to Explore How Social Media Can Enhance Primary and Secondary Learning
The growing set of Social Media tools such as Twitter, Facebook, Instagram, and Google Docs has the potential to enhance primary and secondary learning. To collect and evaluate suggestions for novel applications of social media to learning from online participants, we created a version of our Collective Discovery Engine. Over 155, educators, engineers, and social scientists responded to our ema...
متن کاملOUSocial2 - A Platform for Gathering Students' Feedback from Social Media
Universities strive to collect feedback from students to improve their courses and tutorship. Such feedback is often collected at the end of a course via survey forms. However, such methods in collecting feedback are too controlled, slow, and passive. With the rise of social media, many students are finding online venues to group and share their experiences and seek peers’ support. OUSocial2 is...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Automated Reasoning
سال: 2017
ISSN: 0168-7433,1573-0670
DOI: 10.1007/s10817-017-9443-3